GermanWikipedia - /page/entry.mu

Micron Document

<!DOCTYPE html>

<title>Semaphor (Informatik)</title>

</head>

<h1 id="firstHeading" class="firstHeading mw-first-heading">Semaphor (Informatik)</h1>

</header>

</div>

<div id="mw-content-text" class="mw-body-content mw-content-ltr" lang="de" dir="ltr"><div class="mw-content-ltr mw-parser-output" lang="de" dir="ltr">Ein Semaphor (von <a href="Altgriechische_Sprache" title="Altgriechische Sprache">altgriechisch</a> σῆμα <style data-mw-deduplicate="TemplateStyles:r261937631">

/* start https://de.wikipedia.org/ */

.mw-parser-output .Latn{font-family:"Akzidenz Grotesk","Arial","Avant Garde Gothic","Calibri","Futura","Geneva","Gill Sans","Helvetica","Lucida Grande","Lucida Sans Unicode","Lucida Grande","Stone Sans","Tahoma","Trebuchet","Univers","Verdana"}

/* end https://de.wikipedia.org/ */

</style>sēma, deutsch ‚Zeichen‘ und φέρειν pherein ‚tragen‘ – also etwa „Signalgeber“) ist eine <a href="Datenstruktur" title="Datenstruktur">Datenstruktur</a>, die aus einer Ganzzahl und den atomaren Nutzungsoperationen „Reservieren/Probieren“ und „Freigeben“ besteht. Sie eignet sich insbesondere zur Verwaltung beschränkter (zählbarer) Ressourcen, auf die mehrere <a href="Prozess_(Informatik)" title="Prozess (Informatik)">Prozesse</a> oder <a href="Thread_(Informatik)" title="Thread (Informatik)">Threads</a> zugreifen sollen, wie etwa Erzeuger und Verbraucher, sowie zur Koordination asynchroner Abläufe. Im Gegensatz zu einem <a href="Lock" title="Lock">Lock</a> bzw. einem <a href="Mutex" title="Mutex">Mutex</a> müssen die Aktivitätsträger, die „reservieren“ und „freigeben“, nicht identisch sein.

<div class="mw-heading mw-heading2"><h2 id="Funktionsweise">Funktionsweise</h2></div>

Meist wird die Ganzzahl (Zähler) beim Start des Semaphors mit dem Zahlenwert der maximal verfügbaren Ressourcen initialisiert bzw. der maximalen Zahl der Prozesse, die gleichzeitig die Ressource nutzen können. Ein Prozess, der auf die Ressource zugreifen will, muss vorher die Operation „Reservieren/Probieren“ aufrufen, und danach, wenn er die Ressource nicht mehr benötigt, die Operation „Freigeben“. Bei jeder Reservierung wird der Zähler um 1 heruntergezählt, bei Freigabe wird er wieder um 1 erhöht. Der Zähler darf nicht unter 0 fallen: Wenn eine Reservierung bei Zählerstand 0 erfolgt, wartet der reservierende Prozess, bis ein anderer Prozess Ressourcen freigegeben hat. Es gibt auch Implementierungen, die ins Negative zählen. Damit kann angezeigt werden, wie viele Prozesse auf eine Freigabe warten.

Semaphore können bei der <a href="Programmierung" title="Programmierung">Programmierung</a> zur <a href="Prozesssynchronisation" title="Prozesssynchronisation">Prozesssynchronisation</a> eingesetzt werden, also zur Lösung von Aufgaben, bei denen die parallele Ausführung mehrerer <a href="Prozess_(Informatik)" title="Prozess (Informatik)">Prozesse</a>/<a href="Thread_(Informatik)" title="Thread (Informatik)">Threads</a> eine zeitliche Abstimmung der Ausführungen erfordert. Sie dienen im Allgemeinen dazu, bei einer beschränkten Anzahl von Ressourcen eine Reihenfolge herzustellen, in der viele Threads sich diese knappen Elemente teilen (z. B. Ressource: „CPU-Kern“, Anzahl: 4). Dies kann auch zur Kapselung von Zugriffen auf gemeinsame Daten verwendet werden (Ressource: „Zugriffsrecht auf die Daten“, Anzahl: immer nur einer gleichzeitig). Auch zur Kommunikation zwischen Threads können Semaphore verwendet werden. Sie dienen dann meist als Zähler für verfügbare Informationspakete. Hierbei wird der Semaphor mit „0 Pakete verfügbar“ gestartet, und dann hochgezählt (und wieder bis auf 0 herunter).

<div class="mw-heading mw-heading2"><h2 id="Namensherkunft">Namensherkunft</h2></div>

Das Wort Semaphor geht auf die <a href="Formsignal" title="Formsignal">Formsignale</a> mechanischer <a href="Eisenbahnsignal" title="Eisenbahnsignal">Eisenbahnsignale</a> zurück.<a href="#cite_note-1">[1]</a> Die dort verwendeten Semaphore zeigen an, ob ein <a href="Zug_(Schienenverkehr)" title="Zug (Schienenverkehr)">Zug</a> eine Ressource belegt, also ob ein <a href="Zugfolgeabschnitt" title="Zugfolgeabschnitt">Gleisabschnitt</a> befahren werden darf oder nicht.

<div class="mw-heading mw-heading2"><h2 id="Wechselwirkungen_parallel_ablaufender_Prozesse">Wechselwirkungen parallel ablaufender Prozesse</h2></div>

Bei der parallelen oder zeitlich verzahnten Ausführung von Prozessen treten implizite oder explizite Wechselwirkungen auf.

Bei impliziten Wechselwirkungen ist einem Prozess nicht bewusst, dass durch die Ausführung von Aktionen ein anderer Prozess beeinflusst wird. Dies ist z. B. dann der Fall, wenn ein Prozess einen Systemdienst aufruft, den das Betriebssystem nicht sofort vollständig bearbeiten kann, weil andere Prozesse die erforderlichen Betriebsmittel belegt haben. Der Prozess kann erst dann seine Aktionen weiter fortsetzen, wenn der Systemdienst ausgeführt worden ist. Hier wird die Prozesswechselwirkung als blockierender Funktionsaufruf sichtbar. Spezielle Vorkehrungen gegen eine Blockierung aufgrund impliziter Wechselwirkungen muss und kann ein Prozess nicht treffen.

Explizite Wechselwirkungen zwischen Prozessen sind:

<dl><dt>Konkurrenz</dt>

<dd>Prozesse stehen in Konkurrenz zueinander, wenn sie gleichzeitig auf ein Betriebsmittel (z. B. Speicherstruktur, Verbindung, Gerät) zugreifen, das nur in beschränkter Anzahl zur Verfügung steht und bei dem die Nutzung eines Exemplars nur exklusiv durch einen Prozess möglich ist, da es andernfalls zu fehlerhaften Ergebnissen oder inkonsistenten Zuständen kommt, d. h. wenn es <a href="Kritischer_Abschnitt" title="Kritischer Abschnitt">kritische Abschnitte</a> in den Programmen der Prozesse gibt.</dd>

<dt>Kooperation</dt>

<dd>Prozesse kooperieren, wenn sie ihre Aktionen bewusst aufeinander abstimmen, z. B. weil sie in einer Auftraggeber-/Auftragnehmerbeziehung stehen.</dd></dl>

Sowohl das Reservieren als auch das Freigeben müssen <a href="Atomar" title="Atomar">atomare</a> Operationen sein. Kann eine Reservierung nicht befriedigt werden, so kann sie einfach blockieren (Erlangung der Ressource via <a href="Race_Condition" class="mw-redirect" title="Race Condition">Race Condition</a> unter den Wartenden), der Semaphor eine Warteschlange führen (i. A. blockierend) oder ablehnen (nicht blockierend).

Häufig ist vom Betriebsmittel nur ein Exemplar vorhanden (sog. <a href="Mutex" title="Mutex">wechselseitiger Ausschluss</a>), der Semaphor bewirkt dann eine Abstimmung der zeitlichen Ausführung der Prozessaktionen. Im Fall einer Konkurrenzsituation wird durch eine irgendwie gestaltete Sequentialisierung der Ausführung (der kritischen Abschnitte) erreicht, dass das Betriebsmittel nicht von mehreren Prozessen beliebig verändernd benutzt wird. Im Fall einer Kooperationssituation wird ebenfalls durch eine der Situation entsprechende Sequentialisierung erreicht, dass die Zusammenarbeit der Prozesse gegeben ist (z. B., dass ein Auftragnehmer nicht schon versucht anzufangen etwas zu bearbeiten, obwohl der Auftraggeber noch keinen Auftrag erteilt hat).

<div class="mw-heading mw-heading2"><h2 id="Lösung_von_Dijkstra">Lösung von Dijkstra</h2></div>

Semaphore als Mechanismus für die Prozesssynchronisation wurden von <a href="Edsger_W._Dijkstra" title="Edsger W. Dijkstra">Edsger W. Dijkstra</a> konzipiert und 1965 in seinem Artikel Cooperating sequential processes vorgestellt.

Ein Semaphor ist eine Datenstruktur mit einer Initialisierungsoperation und zwei Nutzungsoperationen. Die Datenstruktur besteht aus einem Zähler und einer <a href="Warteschlange_(Datenstruktur)" title="Warteschlange (Datenstruktur)">Warteschlange</a> für die Aufnahme blockierter Prozesse (hier ein Beispiel in <a href="C_(Programmiersprache)" title="C (Programmiersprache)">C</a>):

<div class="mw-highlight mw-highlight-lang-c mw-content-ltr" dir="ltr"><pre> typedef struct semaphor {

int zaehler;

Queue *queue; /* Warteschlange */

} Semaphor;

</pre></div>

Zähler sowie Warteschlange sind geschützt und können nur über die Semaphoroperationen verändert werden. Die Wirkung der Nutzungsoperation kann wie folgt zusammenfassend beschrieben werden:

<ul><li>Semaphore regeln Wechselwirkungssituationen von Prozessen durch Zählen</li>

<li>Semaphore realisieren ein passives Warten der Prozesse, wenn eine Weiterausführung nicht gestattet werden kann</li></ul>

Mit der Initialisierungsoperation wird der Zähler auf einen nicht negativen Wert (≥ 0) und die Warteschlange i. d. R. auf leer gesetzt.

<div class="mw-highlight mw-highlight-lang-c mw-content-ltr" dir="ltr"><pre> void

init(Semaphor *s, int v)

{

s->queue->empty(s->queue);

}

</pre></div>

Wird ein Semaphor zur Organisation von Konkurrenzsituationen eingesetzt, so erfolgt eine Initialisierung mit einem positiven Wert. Ein Semaphor für eine Kooperationssituation wird hingegen mit 0 initialisiert (siehe <a href="#Anwendungsbeispiele">Anwendungsbeispiele</a>).

Die Nutzungsoperationen wurden von Dijkstra mit P und V bezeichnet. Dies sind Initialen <a href="Niederl%C3%A4ndische_Sprache" title="Niederländische Sprache">niederländischer</a> Wörter bzw. <a href="Kofferwort" title="Kofferwort">Kofferwörter</a> für prolaag (probeer te verlagen = versuche zu senken) und verhoog.<a href="#cite_note-2">[2]</a> Weitere, verbreitete Erklärungen sind passeer (passieren), proberen (überprüfen)<a href="#cite_note-Silberschatz_S200-3">[3]</a> und vrijgeven (freigeben), verhogen (erhöhen).<a href="#cite_note-Silberschatz_S200-3">[3]</a> Programmierschnittstellen verwenden mnemonisch deutlichere Bezeichnungen wie wait (warten), acquire (erlangen) oder down (unten) für die P-Operation und signal (signalisieren), release (freigeben), post (abschicken)<a href="#cite_note-4">[4]</a> oder up (oben) für die V-Operation.

Bei einem Aufruf der P-Operation wird der Zähler dekrementiert. Ist der Zähler danach größer gleich 0, so setzt der Prozess seine Aktionen fort. Ist der Zähler jedoch kleiner als 0, kehrt der Kontrollfluss nicht aus der Operation zurück. Der aufrufende Prozess wird blockiert und in die Warteschlange des Semaphors eingereiht. Bei einem Aufruf der V-Operation wird der Zähler inkrementiert. Es wird ein Prozess aus der Warteschlange entnommen und entblockiert, falls die Warteschlange nicht leer ist. Der entblockierte Prozess setzt dann seine Aktionen mit denen fort, die dem P-Aufruf folgen, der den Prozess blockierte. Die hier erläuterte Funktionsweise der Semaphoroperationen erlaubt eine einfache Ermittlung, ob es Prozesse gibt, die am Semaphor blockiert sind: ist der Semaphorzähler kleiner als 0, so gibt es noch blockierte Prozesse. Diese Prozesse riefen die P-Operation auf, als der Zähler bereits kleiner gleich 0 war. Die Überprüfung wird hier zwecks Verdeutlichung der Wirkung der V-Operation auf andere Prozesse explizit notiert. Konkrete Implementierungen können eine Prüfung auf nicht-leere Warteschlange auch in die Warteschlangenmethode verlagern.

<div class="mw-highlight mw-highlight-lang-c mw-content-ltr" dir="ltr"><pre>/* down() */

void

P(Semaphor *s)

{

s->zaehler = s->zaehler - 1;

if (s->zaehler < 0)

selbst_blockieren(s->queue); /* Blockieren des Prozesses, Einreihung in Warteschlange */

}

</pre></div>

<div class="mw-highlight mw-highlight-lang-c mw-content-ltr" dir="ltr"><pre>/* up() */

void

V(Semaphor *s)

{

s->zaehler = s->zaehler + 1;

if (s->zaehler <= 0)

einen_entblocken(s->queue); /* Entblockieren eines Prozesses aus der Warteschlange */

}

</pre></div>

Semaphore, deren Zähler aufgrund der Initialisierung und der Verwendung eine "1" als größten positiven Wert annehmen können, werden oftmals auch als binäre Semaphore bzw. Mutex locks bezeichnet.<a href="#cite_note-Silberschatz_S201-5">[5]</a> Semaphore, deren Zähler größere positive Werte als "1" annehmen können, werden zählende Semaphore genannt.

Beide Operationen müssen unteilbare, <a href="Atomar#Informatik" title="Atomar">atomare</a> Aktionen sein. Dadurch ist garantiert, dass nach dem Aufruf einer Operation eines Semaphors kein anderer Prozess auf den gleichen Semaphor durch einen Operationsaufruf modifizierend zugreifen kann, bevor die zuerst aufgerufene Semaphoroperation vollständig ausgeführt worden ist. Die Unteilbarkeit ist notwendig, um die Synchronisation zu organisieren und <a href="Race_Condition" class="mw-redirect" title="Race Condition">Wettlaufsituationen</a> bei Ausführung der Semaphoroperationen durch parallele Prozesse zu vermeiden.

Die obige Erläuterung der Arbeitsweise ist eine von mehreren möglichen. Diese unterscheiden sich durch die Reihenfolge der Prüfung auf Blockierung/Entblockierung und der Operation Inkrement/Dekrement. In einigen Darstellungen nimmt der Zähler keine negativen Werte an. (Der oben beschriebene Zählerwert ergibt sich, indem man vom Tatsächlichen die Länge der Warteschlange subtrahiert.) In diesem Fall wird die Bezeichnung binärer Semaphor dann offensichtlich.

Die Wirkung der Operationen auf Prozesse ist jedoch unabhängig von der Art der Realisierung. Der obigen Erläuterung wurde wegen einer einfachen Interpretation des Zählers der Vorzug gegeben: Ist der Zähler größer als 0, so gibt sein Wert an, wie viele Prozesse noch ohne Blockierung die P-Operation aufrufen können. Ist der Zähler negativ, so gibt sein Absolutwert an, wie viele Prozesse die P-Operation aufgerufen haben und dabei blockiert wurden.

Semaphore beheben den Nachteil des <a href="Aktives_Warten" title="Aktives Warten">aktiven Wartens</a> anderer Synchronisationslösungen wie spezielle Maschinenbefehle oder <a href="Spinlock" title="Spinlock">Spinlocks</a>, da ein Prozess blockiert wird, bis der Blockadegrund entfallen ist. Die Definition lässt offen, welcher blockierte Prozess im Rahmen der Ausführung der V-Operation der Warteschlange entnommen wird. Ein Semaphor, der eine echte Warteschlange nach dem <a href="Windhundprinzip" title="Windhundprinzip">Windhundprinzip</a> (engl. „first come, first served“) garantiert, wird manchmal als starker Semaphor bezeichnet. Ein schwacher Semaphor garantiert hingegen nicht die chronologisch richtige Abarbeitung der Warteschlange. So wird z. B. beim Echtzeitbetrieb das Entblockieren von Prozessen an deren Priorität statt an deren Blockierungszeitpunkt gebunden.

<div class="mw-heading mw-heading2"><h2 id="Anwendungsbeispiele">Anwendungsbeispiele</h2></div>

<div class="mw-heading mw-heading3"><h3 id="Einsatz_in_Konkurrenzsituationen">Einsatz in Konkurrenzsituationen</h3></div>

In einem <a href="Kritischer_Abschnitt" title="Kritischer Abschnitt">kritischen Abschnitt</a> ka_A verändert Prozess A eine <a href="Datenstruktur" title="Datenstruktur">Datenstruktur</a>, die der <a href="Prozess_(Informatik)" title="Prozess (Informatik)">Prozess</a> gemeinsam mit einem Prozess B nutzt. Prozess B verändert die Datenstruktur in seinem kritischen Abschnitt ka_B. Ein <a href="Mutex" title="Mutex">Semaphor in Ausschlussfunktion</a> wird eingesetzt, um zu erreichen, dass sich die Prozesse A und B niemals gleichzeitig in ihren kritischen Abschnitten befinden. Hierzu wird der Semaphor mit 1 initialisiert, es wird also ein binärer Semaphor eingesetzt:

<pre>Gemeinsam von A und B genutzter Semaphor: mutex

Initialisierung: init (mutex, 1) /* Es gibt 1 Ressourcen-Exemplar "Recht auf Betreten eines kritischen Abschnitts" */

</pre>

<pre>Prozess A Prozess B

... ...

P (mutex) P (mutex) /* versuche "Betreten-Recht" zu reservieren (blockierend) */

ka_A ka_B

V (mutex) V (mutex) /* freigeben des "Betreten-Rechts" */

... ...

</pre>

Benötigen <a href="Prozess_(Informatik)" title="Prozess (Informatik)">Prozesse</a> jeweils exklusiv ein <a href="Betriebsmittel_(Informatik)" title="Betriebsmittel (Informatik)">Betriebsmittel</a>, das nur in beschränkter Anzahl zur Verfügung steht, so wird mittels eines zählenden Semaphors erreicht, dass ein Prozess dann blockiert wird, wenn alle Betriebsmittel in Benutzung sind. Der Semaphor wird mit der Anzahl verfügbarer Betriebsmittel initialisiert:

<pre>Semaphor zur Betriebsmittelverwaltung: s_available

Initialisierung: init (s_available, n)

</pre>

<pre>Prozess

...

P (s_available) /* Anzeige des Nutzungswunschs; warte bis "für mich reserviert wurde" */

... /* Nutzung des Betriebsmittels */

V (s_available) /* Anzeige des Nutzungsabschlusses, freigeben */

...

</pre>

<div class="mw-heading mw-heading3"><h3 id="Einsatz_in_Kooperationssituationen">Einsatz in Kooperationssituationen</h3></div>

<a href="Prozess_(Informatik)" title="Prozess (Informatik)">Prozess</a> A enthält einen Programmabschnitt C_I, in dem eine Datenstruktur initialisiert wird, die dann von Prozess B in einem Programmabschnitt C_V verarbeitet wird. Offensichtlich muss C_I unter allen Umständen vor C_V ausgeführt werden. Es wird ein Semaphor in Signalisierungsfunktion eingesetzt:

<pre>Gemeinsam von A und B genutzter Semaphor: s_inform

Initialisierung: init (s_inform, 0)

</pre>

<pre>Prozess A Prozess B

... ...

C_I P (s_inform)

V (s_inform) C_V

... ...

</pre>

Prozess B versucht zu reservieren und muss warten, bis Prozess A mittels Freigabe s_inform auf 1 (Datensatz verfügbar) hochgezählt hat.

<div class="mw-heading mw-heading3"><h3 id="Passing_the_Baton_Pattern">Passing the Baton Pattern</h3></div>

Das von Gregory R. Andrews vorgeschlagene Passing the Baton Pattern<a href="#cite_note-6">[6]</a><a href="#cite_note-7">[7]</a><a href="#cite_note-8">[8]</a> (deutsch: Staffelstab-Algorithmus<a href="#cite_note-9">[9]</a>) ist ein <a href="Entwurfsmuster" title="Entwurfsmuster">allgemeines Schema</a> zur Lösung vieler <a href="Generische_Programmierung" title="Generische Programmierung">generischer</a> Programmierprobleme, bei denen mehrere <a href="Nebenl%C3%A4ufigkeit" title="Nebenläufigkeit">nebenläufige</a> <a href="Prozess_(Informatik)" title="Prozess (Informatik)">Prozesse</a> um dieselbe Ressource mit komplexen Bedingungssynchronisationen konkurrieren, z. B. Erfüllung bestimmter Prioritätskriterien oder Vermeidung von <a href="Verhungern_(Informatik)" title="Verhungern (Informatik)">Verhungern</a>. Bei einer gemeinsam genutzten Ressource erfordert das Pattern eine private Semaphore priv (initialisiert auf 0) für jeden beteiligten Prozess oder jede Klasse von Prozessen und eine einzige Semaphore mutex für den gegenseitigen Ausschluss (initialisiert auf 1).

Der <a href="Pseudocode" title="Pseudocode">Pseudocode</a> für jeden Prozess lautet:

<div class="mw-highlight mw-highlight-lang-cpp mw-content-ltr" dir="ltr"><pre>void Prozess(int proc_id, int res_id)

{

Ressource_Erwerben(proc_id, res_id);

<Die Ressource res_id benutzen>;

Ressource_Freigeben(proc_id, res_id);

}

</pre></div>

Die <a href="Funktion_(Informatik)" class="mw-redirect" title="Funktion (Informatik)">Funktionen</a> für das Erwerben und Freigeben der Ressource sind wie folgt aufgebaut:

<div class="mw-highlight mw-highlight-lang-cpp mw-content-ltr" dir="ltr"><pre>void Ressource_Erwerben(int proc_id, int res_id)

{

P(mutex);

if (<die Bedingung für den Zugriff auf res_id ist nicht erfüllt für proc_id>)

{

<erfassen, dass proc_id für res_id blockiert ist>;

V(mutex);

P(priv[proc_id]);

<erfassen, dass proc_id für res_id nicht mehr blockiert ist>;

}

<erfassen, dass proc_id auf res_id zugreift>;

Staffelstab_Weitergeben(proc_id, res_id); // siehe unten

}

void Ressource_Freigeben(int proc_id, int res_id)

{

P(mutex);

<erfassen, dass proc_id auf res_id nicht mehr zugreift>;

}

</pre></div>Beide <a href="Operation_(Informatik)" title="Operation (Informatik)">Operationen</a> verwenden die <a href="Funktion_(Informatik)" class="mw-redirect" title="Funktion (Informatik)">Funktion</a> Staffelstab_Weitergeben:<div class="mw-highlight mw-highlight-lang-cpp mw-content-ltr" dir="ltr"><pre>void Staffelstab_Weitergeben(int proc_id, int res_id)

{

if <die Bedingung für den Zugriff auf res_id ist von mindestens einem blockierten Prozess erfüllt>

{

int p = <Wahl eines blockierten Prozesses um ihn zu reaktivieren>;

V(priv[p]);

}

else

{

V(mutex);

}

}

</pre></div>

Anmerkungen:

Das Pattern wird Passing the Baton genannt, weil ein <a href="Prozess_(Informatik)" title="Prozess (Informatik)">Prozess</a>, der die Ressource freigibt, sowie ein frisch reaktivierter Prozess höchstens einen anderen angehaltenen Prozess aktiviert, d. h. sozusagen "den Staffelstab an ihn weitergibt". Die mutex Semaphore wird nur dann freigegeben, wenn ein Prozess sich selbst blockiert (während der <a href="Funktion_(Informatik)" class="mw-redirect" title="Funktion (Informatik)">Funktion</a> Ressource_Erwerben) oder wenn es innerhalb der <a href="Operation_(Informatik)" title="Operation (Informatik)">Operation</a> Staffelstab_Weitergeben nicht möglich ist, einen anderen blockierten Prozess zu reaktivieren.

<div class="mw-heading mw-heading2"><h2 id="Implementierung">Implementierung</h2></div>

Eine Implementierung der Semaphormechanismen ist konzeptionell im Betriebssystem anzusiedeln, da sie eng mit der Prozessverwaltung zusammenarbeiten muss. Eine Realisierung der Unteilbarkeit auf Monoprozessorsystemen kann dann z. B. mittels <a href="Interrupt" title="Interrupt">Unterbrechungssperre</a> erfolgen. Im Fall von Multiprozessorsystemen ist eine Klammerung der Anweisungsfolgen der Semaphoroperationen durch <a href="Spinlock" title="Spinlock">Spinlocks</a> erforderlich. Eine Realisierung durch das Betriebssystem ermöglicht ferner, dass mehrere Prozesse mit ihren eigentlich <a href="Disjunkt" title="Disjunkt">disjunkten</a> <a href="Adressraum" title="Adressraum">Adressräumen</a> einen Semaphor gemeinsam nutzen können.

Werden Semaphore von einem Thread-Paket, das im Benutzeradressraum läuft (User-Level-Threads), angeboten, so gestaltet sich die Realisierung der Unteilbarkeit aufwändiger. Sie muss beliebige Unterbrechungen berücksichtigen und hängt davon ab, welche Informationen über User-Level-Threads im Kern vorliegen.

<div class="mw-heading mw-heading2"><h2 id="Verwandte_Themen">Verwandte Themen</h2></div>

<ul><li><a href="Mutex" title="Mutex">Mutex</a> – Oberbegriff für Verfahren, die wechselseitigen Ausschluss von Datenzugriffen ermöglichen.</li>

<li><a href="Monitor_(Informatik)" title="Monitor (Informatik)">Monitor</a> – ein programmiersprachliches Konzept zur Prozesssynchronisation.</li>

<li><a href="Jacketing" title="Jacketing">Jacketing</a> – die Möglichkeit, einen blockierenden Systemaufruf zu umgehen.</li>

<li><a href="Bolt-Variable" title="Bolt-Variable">Bolt-Variable</a> – Variante des Semaphors zur flexibleren Realisierung eines <a href="Read-Write-Lock" class="mw-redirect" title="Read-Write-Lock">Read-Write-Lock</a>.</li></ul>

<div class="mw-heading mw-heading2"><h2 id="Literatur">Literatur</h2></div>

<ul><li>Andrew S. Tanenbaum: <cite class="lang" lang="en" dir="auto" style="font-style:italic">Moderne Betriebssysteme</cite> (= <cite class="lang" lang="en" dir="auto" style="font-style:italic">Pearson Studium – IT</cite>). Dritte aktualisierte Auflage. Addison-Wesley Verlag, 2009, ISBN 978-3-8273-7342-7, S. 1248 (englisch, Originaltitel: <cite style="font-style:italic">Modern Operating Systems</cite>.).<span class="Z3988" title="ctx_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rfr_id=info:sid/de.wikipedia.org:Semaphor+%28Informatik%29&rft.au=Andrew+S.+Tanenbaum&rft.btitle=Moderne+Betriebssysteme&rft.date=2009&rft.edition=Dritte+aktualisierte&rft.genre=book&rft.isbn=9783827373427&rft.pages=1248&rft.pub=Addison-Wesley+Verlag&rft.series=Pearson+Studium+-+IT" style="display:none"> </li>

<li>James H. Anderson, Yong-Jik Kim, Ted Herman: <cite style="font-style:italic">Shared-memory mutual exclusion: major research trends since 1986</cite>. In: <cite style="font-style:italic">Distrib. Comput.</cite> Band 16, Nr. 2–3. Springer-Verlag, September 2003, <a href="Internationale_Standardnummer_f%C3%BCr_fortlaufende_Sammelwerke" title="Internationale Standardnummer für fortlaufende Sammelwerke">ISSN</a> <a rel="nofollow" class="external text" href="https://zdb-katalog.de/list.xhtml?t=iss%3D%220178-2770%22&key=cql">0178-2770</a>, S. 75–110, <a href="Digital_Object_Identifier" title="Digital Object Identifier">doi</a>:<a rel="nofollow" class="external text" href="https://doi.org/10.1007/s00446-003-0088-6">10.1007/s00446-003-0088-6</a>.<span class="Z3988" title="ctx_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rfr_id=info:sid/de.wikipedia.org:Semaphor+%28Informatik%29&rft.atitle=Shared-memory+mutual+exclusion%3A+major+research+trends+since+1986&rft.au=James+H.+Anderson%2C+Yong-Jik+Kim%2C+Ted+Herman&rft.date=2003-09&rft.doi=10.1007%2Fs00446-003-0088-6&rft.genre=journal&rft.issn=0178-2770&rft.issue=2-3&rft.jtitle=Distrib.+Comput.&rft.pages=75-110&rft.place=London+UK&rft.pub=Springer-Verlag&rft.volume=16" style="display:none"> </li>

<li>M. Raynal, D. Beeson: <cite style="font-style:italic">Algorithms for mutual exclusion</cite>. MIT Press, Cambridge MA 1986, ISBN 0-262-18119-3.<span class="Z3988" title="ctx_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rfr_id=info:sid/de.wikipedia.org:Semaphor+%28Informatik%29&rft.au=M.+Raynal%2C+D.+Beeson&rft.btitle=Algorithms+for+mutual+exclusion&rft.date=1986&rft.genre=book&rft.isbn=0262181193&rft.place=Cambridge+MA&rft.pub=MIT+Press" style="display:none"> </li></ul>

<div class="mw-heading mw-heading2"><h2 id="Weblinks">Weblinks</h2></div>

<ul><li><a rel="nofollow" class="external text" href="http://bxr.su/FreeBSD/sys/kern/kern_sema.c#28">Implementierung von Semaphoren in FreeBSD, Kernel</a></li>

<li><a rel="nofollow" class="external text" href="http://bxr.su/FreeBSD/lib/libc/gen/sem_new.c#51">Implementierung von Semaphoren in FreeBSD, API</a></li>

<li><a rel="nofollow" class="external text" href="http://bxr.su/FreeBSD/include/semaphore.h#30">Schnittstellenspezifikation bzw. API über Semaphoren in FreeBSD</a></li>

<li><a rel="nofollow" class="external text" href="https://www.freebsd.org/cgi/man.cgi?query=sem_getvalue&sektion=3&manpath=FreeBSD+10.2-RELEASE">sem_getvalue(3)</a></li>

<li><a rel="nofollow" class="external text" href="https://www.freebsd.org/cgi/man.cgi?query=sem_destroy&sektion=3&manpath=FreeBSD+10.2-RELEASE">sem_destroy(3)</a></li>

<div class="mw-heading mw-heading2"><h2 id="Einzelnachweise">Einzelnachweise</h2></div>

<li id="cite_note-1"><a href="#cite_ref-1">↑</a> <a rel="nofollow" class="external text" href="https://tldp.org/LDP/lpg/node47.html">Semaphores: Basic Concepts.</a> In: The Linux Programmer’s Guide

</li>

<li id="cite_note-2"><a href="#cite_ref-2">↑</a> <a rel="nofollow" class="external text" href="https://www.cs.utexas.edu/users/EWD/transcriptions/EWD00xx/EWD74.html">cs.utexas.edu</a> E. W. Dijkstra Archive (niederländisch)

</li>

<li id="cite_note-Silberschatz_S200-3">↑ <a href="#cite_ref-Silberschatz_S200_3-0">a</a> <a href="#cite_ref-Silberschatz_S200_3-1">b</a> Abraham Silberschatz, Peter B. Galvin, Greg Gagne: <cite class="lang" lang="en" dir="auto" style="font-style:italic">Operating system concepts</cite>. 7. Auflage. John Wiley & Sons, Hoboken NJ 2005, ISBN 0-471-69466-5, 6.5 Semaphores, S. 200 (englisch).<span class="Z3988" title="ctx_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abookitem&rfr_id=info:sid/de.wikipedia.org:Semaphor+%28Informatik%29&rft.atitle=6.5+Semaphores&rft.au=Abraham+Silberschatz%2C+Peter+B.+Galvin%2C+Greg+Gagne&rft.btitle=Operating+system+concepts&rft.date=2005&rft.edition=7&rft.genre=bookitem&rft.isbn=0471694665&rft.pages=200&rft.place=Hoboken+NJ&rft.pub=John+Wiley+%26+Sons" style="display:none">

</li>

<li id="cite_note-4"><a href="#cite_ref-4">↑</a> <a rel="nofollow" class="external text" href="https://pubs.opengroup.org/onlinepubs/7908799/xsh/sem_post.html">pubs.opengroup.org</a>

</li>

<li id="cite_note-Silberschatz_S201-5"><a href="#cite_ref-Silberschatz_S201_5-0">↑</a> Abraham Silberschatz, Peter B. Galvin, Greg Gagne: <cite class="lang" lang="en" dir="auto" style="font-style:italic">Operating system concepts</cite>. 7. Auflage. John Wiley & Sons, Hoboken NJ 2005, ISBN 0-471-69466-5, 6.5 Semaphores, S. 201 (englisch).<span class="Z3988" title="ctx_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abookitem&rfr_id=info:sid/de.wikipedia.org:Semaphor+%28Informatik%29&rft.atitle=6.5+Semaphores&rft.au=Abraham+Silberschatz%2C+Peter+B.+Galvin%2C+Greg+Gagne&rft.btitle=Operating+system+concepts&rft.date=2005&rft.edition=7&rft.genre=bookitem&rft.isbn=0471694665&rft.pages=201&rft.place=Hoboken+NJ&rft.pub=John+Wiley+%26+Sons" style="display:none">

</li>

<li id="cite_note-6"><a href="#cite_ref-6">↑</a> Gregory R. Andrews: <cite class="lang" lang="en" dir="auto" style="font-style:italic">Foundations of Multithreaded, Parallel, and Distributed Programming</cite>. Addison-Wesley, 1999 (englisch).<span class="Z3988" title="ctx_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rfr_id=info:sid/de.wikipedia.org:Semaphor+%28Informatik%29&rft.au=Gregory+R.%26%2332%3BAndrews&rft.btitle=Foundations+of+Multithreaded%2C+Parallel%2C+and+Distributed+Programming&rft.date=1999&rft.genre=book&rft.pub=Addison-Wesley" style="display:none">

</li>

<li id="cite_note-7"><a href="#cite_ref-7">↑</a> Richard H. Carver, Kuo-Chung Thai: <cite class="lang" lang="en" dir="auto" style="font-style:italic">Modern Multithreading: Implementing, Testing, and Debugging Multithreaded Java and C++/Pthreads/Win32 Programs</cite>. Wiley, 2005 (englisch).<span class="Z3988" title="ctx_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rfr_id=info:sid/de.wikipedia.org:Semaphor+%28Informatik%29&rft.au=Richard+H.%26%2332%3BCarver%2C%26%2332%3BKuo-Chung%26%2332%3BThai&rft.btitle=Modern+Multithreading%3A+Implementing%2C+Testing%2C+and+Debugging+Multithreaded+Java+and+C%2B%2B%2FPthreads%2FWin32+Programs&rft.date=2005&rft.genre=book&rft.pub=Wiley" style="display:none">

</li>

<li id="cite_note-8"><a href="#cite_ref-8">↑</a> <a rel="nofollow" class="external free" href="https://greenteapress.com/wp/semaphores/">https://greenteapress.com/wp/semaphores/</a>

</li>

<li id="cite_note-9"><a href="#cite_ref-9">↑</a> Christian Maurer: <cite class="lang" lang="en" dir="auto" style="font-style:italic">Nonsequential and Distributed Programming with Go</cite>. Springer, 2021 (englisch).<span class="Z3988" title="ctx_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rfr_id=info:sid/de.wikipedia.org:Semaphor+%28Informatik%29&rft.au=Christian%26%2332%3BMaurer&rft.btitle=Nonsequential+and+Distributed+Programming+with+Go&rft.date=2021&rft.genre=book&rft.pub=Springer" style="display:none">

</li>

</ol></div><div><div class="zim-footer">

Dieser Artikel wurde von <a class="external text" title="Zuletzt bearbeitet am 2025-12-15" href="https://de.wikipedia.org/wiki/?title=Semaphor_(Informatik)&oldid=262442746">Wikipedia</a> herausgegeben. Der Text ist unter <a class="external text" href="https://creativecommons.org/licenses/by-sa/4.0/deed.de">Creative Commons Attribution-Share Alike 4.0</a> verfügbar, sofern nicht anders angegeben. Für die Mediendateien können zusätzliche Bedingungen gelten.

</div>

</div></div>

</div>

</main>

</div>

</body></html>